working through examples of struct-inference and overloading, fixing bugs as we go.
adding parse of manually given typeparams(struct init)
filled in more missing cases .. instantiating structs with given typeparams.