New Updates for setImpl Theory. Workarounds for typing of
'simply-typed' elements.