CompS accessors
CompInfo now depends on HasCons.