Implement a small type system for lambda-vc

[pdarragh]

There are only a few types so it shouldn't be too difficult, and it would be fun to write type rules for the superpositional stuff. Idea per @brendanzab.