work on #459 for nested types
turns out it was a typechecker bug...
tests for #459
separate outer types with commas