Text this: Using a Metatheory as a Functional Representation.