sclass LASValueDescriptor {
  bool knownValue() { false; }
  O value() { null; }
  
  Type javaType() { null; }
  bool javaTypeIsExact() { false; }
  bool canBeNull() { true; }
  
  sclass LASPrimitive(Class c)  > LASValueDescriptor {
    Type javaType() { null; }
    bool javaTypeIsExact() { true; }
    bool canBeNull() { false; }
  }
}