Deeper integration of untyped expressions