Added stub for custom error messages on NaBL info
Made constraint collection nicer by introducing less typevariables. Made constraint solving a little more optimal. Found and fixed bug in remove-aliases where two found aliases could mention the same variable and by sequentially renaming lose information. Reused fuse-constraints to fix it :)