[ alteredimplicits ] smart constructors for Abstract syntax.
[ alteredimplicits ] Some refactoring in the Scope checker.