Update `ScopedBuilder` testing framework to test for (well-typed) malformed expressions

[Kukovec]

BuilderTest offers testing templates, which accept a sequence constructor for a sequence of ill-typed expressions (mkIllTyped), then check that attempting to build any of them causes a TBuilderTypeException. The templates should also take sequence constructors for expressions that trigger TBuilderScopeExceptions (shadowing) or IllegalArgumentException (require checks) in the same fashion.