todo
get_lambdas in addition to get_type

WIP