Add: various improvements and fixings to the immutable type support;
Fix: a couple of parsing bugs.