resolve cref doc
cascade closing
fix cascade name register
bugexception
design-by-contract
enable design-by-contract
lexeme
bugfix
checklog
more contracts
double blankets
extra lookup operation and doc builtin function attributes
identifier unification
tmp
Merge branch 'tmp' into symbol-table
project and test
more tests
resolve doc
property checking
contracts and collection types