8042118: Separate types from symbolsReviewed-by: hannesw, lagergren
8037572: Add more test cases to check static typesReviewed-by: attila, lagergren