Made it possible to make granular assertions on which arguments
to a varjo function must be compatible or match.
Should help with a couple of functiosn I could only define in a
messy way.