Templates: Add defines and implementation of ProgramParameters

[kachsheev]

Needs:

1. noexcept (use Expected);
2. support shot and/or long keys;
3. is tuple or tree (tree is being implemented);
4. has static size (or uses static allocator)

TODO: add example