Memoization on non "@v" layer. Now simplest metalevel computation works!! Also, added -l option.