nitvm: Subtyping test is now implemented with direct access

Signed-off-by: Julien Pagès <julien.projet@gmail.com>