finished eval and started type-free

none