nitvm: Subtyping test is now implemented with direct access