Tweaks and updates to examples
Added built-in idiosyncrasies: unrestricted/restricted/default; Lambcmd now defaults to 'default' idiosyncrasies, but may use 'unrestricted' upon request