Intention+declaration+*type plus right

Rules