test prelude canonicalization

we begin with a trivial test where nothing needs to be changed.