Attempt to define multi-language typing & reduction rules