Revert changes to isDecomposableTyCon