Added a lot of things related to types

Created basic skeleton for "cells", and created the basic structure of
unknown types [TypeInfo] for type inference. Some preliminary operations
implemented, but untested.