true and false are no longer treated as types