Added transparent typing system. Optional upon compile, for now.