Added DomanAst contract for types with bases...