more tests for defaulted type params
adjust for changes to language module