Redesign dependent variants.

- Add an initial take on dependent types. This is just a call
  to a type function for now.
Merge branch 'master' of github.com:flowgrammable/steve
Fix subst error for dependent types.

- Update ofpv1 to use new syntax.