In interpretation of create invocations, resolving unqualified app class names to the appropriate program and type constraint.