WIP: Putting down coercion rules