Added rudimentary type declaration loading

Currently can load monotypes. Further testing of type declaration
loading will require implementation of polymorphic functions.