Added OfpGenericSpec.
Added OfpGenericSpec.
Cleaned up GenericSpec, IntrinsicOperator, ProcedureStmt, ...