updated design document about extensible record types
new symbols
added constructors Multiset,At,SimpleApp to ScopedTerm;

new constructors have to be handled in substitutions,
in unification, and also in Position (which has been updated
with a difference-list trick for builder)