Typevar uppercase/type and type constructor lowercase

PR for issue #17.