Disallowing refinements at functions in parsing

  - Functions should NOT be treated as callable objects.
PROBLEM: Dead cast in CondExpr returns empty env!!