Remove META file, as its autogenerated and bump version in the oases control file
Extend tests to provoke type errors
Fix type signature on functions operating on subtypes
Remove redundant test