Convert front end type t to backend type t.ctype. Memoize the result.
front end Type
back end equivalent type
See Implementation
Convert front end type t to backend type t.ctype. Memoize the result.