Added another test, one with a function call. Found and solved the problem keeping functions/function calls from being type-infered
Removed the extra reject rules that weren't in the manual. Those boolean literals are defined in the bool module and when those names are in scope it can all be disambiguated