Fix: a minor bug in handling the default value of enum types;
Change: code snippet printing for errors (more code shown in debug mode).