Better type cast exception message
Better error messages for "untyped expression" (which should generally never happen)
Added missing module specs
Fixed some issues with consts