resolve classes used to instantiate type AVs
log AV
process binary operators more intelligently
literals test
add #length specs to literals example