Base abstractions for typed value classes for Java