Merge pull request #3 from DanGrayson/master

small simplifications
omit the 'ob' in 'c : ob C' thanks to a coercion to Type rather than UU