Fixed the type of reference
Subtyping for reference solved