fixed some bugs mainly related to the type unification api
Merge branch 'master' of https://github.com/minitoolbox/minitoolbox