Make star a postfix operator
Merge branch 'v2' of https://github.com/nick8325/quickspec into v2
Make star a postfix operator