const/volatile/ref qualifications not thoroughly accounted for

[xaxxon]

Many combinations of qualifications on types probably cause problems. I've dealt with them on an as-needed basis for actual code - not from a thorough understanding of the c++ type system.

If you have problems, please attach examples of what doesn't work.

[xaxxon]

also r-value qualified member functions are not supported right now. I made a quick attempt at support and it turned out to be a bit harder than anticipated.