Work around brokenness of types of typed
Apply in SSA form
wip
some wippy wip
wip
things
superhacks!