construct PTF RR using alias specified with PTF invocation
special handling for Noop fns: RR and Shape
minor NPEs in Spec building functions in SemAly