fixing reification functions and type signatures.