Attaching meta data to subsequent untyped/typed evaluation steps