Core part of Wyjec expression language implementation. This package contains definitions of important declarative entities: type, function, function's signature, function's parameter, function's optional parameters, etc. The package does not contain any classes related to expression parsing, evaluation, etc.