Comment
Added some type system goodies like typedef, Any and Or