intial version of type and call qualification -- expect copious amounts of bugs and unintended behavior