add dynType, applications and lambdas