Typed logic partial functions reconstr. door Jones