Type-checker doesn't use the global context

The type-checker added by #9 (closed) does not make use of the global context, meaning definitions cannot be used when defining others for now.