Improve Immutable type class

- Add another test for Immutable
- Final classes without vars, referring only to final classes are OK