lots of new thoughts! Starting to formalize type system.