Processing Language with Logical Types and Active Constraints