zinc-0

Notes:

• an initial working fuser and type-checker;
• no primitives, the only typeable element is * and types related to =>;

Future:

• integrate primitives (bool, int)