Identifier consistency

Consistency with identifiers in Grassman.hpp