Typesystem implementation for oAW classic