ivory-examples nicer interpreter interface for Factorial