some changes in the type system
delete unary and binary
add name class
add Function class
add Term class
delete class variable. add ProposVar and ObjectVar as 0-arn func or term
some Func|Term fixes
add Func|Term|Var logic and fixes