get the env thing to work
solved silly keyword-in-fixpoint-issue but pull fixpoint too