initial implementation of standsInFor

* with working example alternate
* no tests yet
* wont "stand" a trait with more than one standsInFor
* fix UnderlyingTypesOfSupers to not recurse