@WIP getting type constraints from sourcecode, including tests
personal notes