fix bug: missed a passthrough of s-app parameters in desugar, and wasn't desugaring annotations for the same parameters
add s-instantiate with concrete syntax e<ann, ...>, eliminating special case for app