SingI x to the context of Shape

I found that I had to recurse with both `Sing a` and `Shape a`. This allows one to only use `Shape a`.