starting to work on type system
starting testing of basic types