Add HasDynFlags instance for Transform
Add buildApplicationM, for building applications of polymorphic functions.