Corrected small errors and added subtype rule for variance