added another subtyping test
improved write test
fixed some broken test cases