Add K Lambda specs for defun