Implementing Type system. Need to figure out how parameter types are going to work.