Working on updating the type inference system.