Email Record: Types in logic programming /