Various fixes thanks to rfc 49

(https://github.com/nikomatsakis/rfcs/blob/master/active/0049-bounds-on-object-and-generic-types.md)
Linter is happy on tests
Fixed param bound for os PT
Merge pull request #165 from farcaller/fix-nightly

Various nightly fallout fixes