Find a way to check the argument and return types against the OpenGroup definitions

It was noted in #89 (closed) that it would be good to find a way to automagically check the function types against the OpenGroup definitions.