Started work on proper type checking, improved operator based type errors