makeDefinition function

Make a computation definition given the computation type