Fix #174 as proposed by Stef
Fix #169 (validate thrown expression type)
Fix #153 types of variable attributes aren't covariant
tests for enumerated types #181
Merge branch 'master' of github.com:ceylon/ceylon-spec into operators