Move UserSpecification to Syntax and Add UserSpecTrait