Partly implemented def typechecking.