more type checking
lambda ast