Make the functions take a list of names for for the initial
reification targets
Add support for -XTypeSynonymInstances
Version 0.1.0