Add rule to infer property types from the right-hand-side value rather than writing the type explicitly on the left-hand side#263