Some improvements, and PROC_COUNTER type is now inferred