Fix: checking for default constructors for classes;
Add: a few minor changes and improvements.
Add: restrictions on class instance packing.