sclass LASValueDescriptor {
  bool knownValue() { false; }
  O value() { null; }
  
  Class javaClass() { null; }
  bool javaClassIsExact() { false; }
  bool canBeNull() { true; }
  
  sclass Exact(Class c, bool canBeNull) > LASValueDescriptor {
    Type javaClass() { ret c; }
    bool javaClassIsExact() { true; }
    bool canBeNull() { ret canBeNull; }
  }
}