Finished off type system! 

I finished adding/testing the updated type system and added transducers
wherever I could!