add tests/neg/Size.hs to check for errors from type mismatches,
currently failing