WIP: Add typedops-checker source and tests