Simplified the interface to Language.Coatl.Check.Types.