Basic typing and compilation for default closures.