- introduced more value types

- value type infrastructure