Added lambda-formals-type
Added helper functions for lambda formals

Added helpers to pack and unpack formal arguments