+ Added assert type-checking.
+ There is still some work left with bounded polymorphism.
+ Automatically generate Fn types when calling a type-var in fn-call.
! Need to fix an issue with type-"prettification" that is eliminating some valuable, polymorphic-type knowledge.
* Recursive types have been partially implemented in defalias.
... Gonna refactor and clean the code now.