Change: from using ~> to using -> for hash map;
Add: a few minor improvements to type casting to tuple;
Fix: a few minor improvements/fixings to function specialization.