Type system fully implemented with the exception of list/iterable type of some sort.