pascal/multiface: overlapping interface experiment
start on grammar combinators for prolog