working on post-fix processing and typechecking
type checking
need to check on types:compatible, anytype, and primitive