navigate forms now ignore void and #f