Add OakTypes.v

This allows heterogenous treament of Oak types and values.
5 jobs for master in 3 minutes and 5 seconds