Move CollectionType under type/
Remove DataType and rspec-driven acceptance tests.
Remove DSL methods from Finitio module itself.
Consistency of Type's API
Documentation typo.
Add a Compilation support class.
Add support for recursive types.
Unit test for ProxyType behavior.
Add language/scoping.feature
Log recent changes.