Aspect blocks with typed arguments

My draft implementation of #14. Seems to work fine, although not tested thoroughly yet. Here, aspect block is very liberal in terms of arguments. First potential argument could be `info`, and then all original method arguments could follow. (Or not. You may even use blocks without any arguments.)