make List available
maybe-bind to avoid unnecessary struct extractions on match
refactor to use helper for creating syntax objects
add helpful wall time information to profile
avoid extracting the underlying function of a method repeatedly in annotation wrappers
tweaks for recognizing bare function forms