Tweaked parameter renaming for functors, so now demos and the original bug-triggering application work

datatype foo = Bar of int

table bad : { A : foo, B : { X : float } }