Fixed a bug in CONS|type