Specialize the Recmap module to Vector
Implement lambda-expressions
Unrestricted IO in all functions
Pattern wild-cards for scalar representation
Remove all optimizations
Minimize internal representation (remove bodies)
Embed for/if/lambda-statements
Unify statements and expressions