Email Record: Logic programming with extensible types /