Annotate DSL.
Ignore annotations in Biegunka.Transform for now.
Extract Script in separate module.
Script should be opaque "Monad" to user.