Infer should include utility types

[jasonkuhrt]

Perceived Problem

There are some utility types that sometimes need referencing:

• Record constructor input
• ...

Ideas / Proposed Solution(s)

• Make them available from infer