Tweaks. Still not quite right. Need to deal properly with
parameterisation of signatures and with partial application which
doesn't quite work out because thunk types should be annotated with
their effects as in lambda_eff.