Bugfixing, external core, fixing default roles in hs-boot files, formalism