lambda and callable types

[Yaroslav Kavenchuk]

(lambda (...) ...) is always inherit from ProcedureN (not Procedure0 
etc. - depending on quantity of parameters)?

Can I specify type not as Procedure, but as procedure (method) with the 
description of parameters (in/out) types?

Thanks!

-- 
WBR, Yaroslav Kavenchuk.