In the llambda Scheme dialect we should allow optional type specifiers in (define), (lambda) etc. to make it easier to opt-in to typing. This shouldn't require importing (llambda typed) although it won't be very useful without the builtin types it defines.
The (define:), (lambda:) etc. forms should still require types on all of their arguments and remain usable from the R7RS dialect
In the llambda Scheme dialect we should allow optional type specifiers in (define), (lambda) etc. to make it easier to opt-in to typing. This shouldn't require importing (llambda typed) although it won't be very useful without the builtin types it defines.
The (define:), (lambda:) etc. forms should still require types on all of their arguments and remain usable from the R7RS dialect