Add basic ValueTypes and Constrains.