Add: preliminary support for immutable class types with 'invar' keyword;
Add: preliminary support for immutable C data types.