we're stuck.
trying to use "validators" to make types and after that to validate that
operations are legal