Implementation of oAW typas and the oAW typesystem