changed characters that are used to represent special characters so that the generated names are "more intuitive". (e.g. $e$e for ==, $p for +, $d for / etc.
 * added basic support for loading imported modules (so that they can be used for checking and code generation)
 * added code generator effects for external definitions and imports.