remove pfn. implement :forall syntax for defn/fn