Make empty constraint lists optional

[Joshua Grosso]

Currently, it adds a lot of redundant parentheses to have type signatures with no constraints (especially in the context of def). When defining values, it often doesn't make sense to even have constraint lists, so it's unfortunate that they're currently always required.