+ Added test-suite `test-type-errors` + Refactored default-extensions so they can be reused via import syntax Co-authored-by: Sridhar Ratnakumar <srid@srid.ca>