Add WIP test for broken type substitution