construct an interpertor with type inference