Also build strictness wrapper.
Don't use type synonym in object for Fay reasons.
Added some convenient functions.