unused let-bindings
native: fix type error in permute skeleton
native: quasi-quote permute skeleton
native: remove unneded code in permute and move comments