Declarative semantics?

Hi all, hope not bothering any one.

Seems like I'm in an endless analysis phase with this but best is try to
learn from my own mistakes first (much with the help of lists guys as well,
thing I'm very thankful for!).

So I'll attach this in the hope someone has time for very fuzzy / funny
documents (not even a draft of anything, be warned before replying) 'cos
any (constructive) feedback is always of much help.

Regards,
Sebastián.