Super basic type checking