improved point-free form translation