Types and transducers! 

Started fleshing out the updated type system and replacing certain
snippets of code with transducers!