Short circuit 'Subst' for the base types.
Test case for substitution.