(Some more typeFlags tests)