Factory function def_seq for creating sequence definitions added.
- Test coverage of untyped sequences and sequence definitions improved
- Lazy construction of untyped sequences from sequence definitions added
- Construction of sequence definitions from lambdas added
(allowing also recursive definitions using lazy instantiation)