extended types to include generic types
Merge branch 'hw9' of github.com:cdmihai/522 into hw9
fixed bug for lambda abstraction type
-> type shold be right associative
type of cond should be bool -> t -> t -> t
added syntax for generics and semantics for polymorphic abstraction
formatting and renamings
type has to support substitution