parse type signatures into contracts correctly. Automatically includes the contracts library.