fix annotate-tag
fix arglist-for-arity
keep original binding tag in locals
emission wip, much simpler boxing/casting mechanism