refactor: immutable map builder, constructor chaining
refactor: remove unused imports
remove lazy typecheck from subtypable classes
(WIP, breaks ALL tests)
fixed tests, all clear