Added support for quoting levels

Previously, quoting a level (for example "quoteTerm lzero") always resulted in an "unknown" term.