fixed bug -> TypeBool returned "Int"