lazy evaluation fix for MapSpec and CaseExpr

remove builtin function for caseExpr
add lazyEval tag in MapSpec
add inFixedFunc tag in CaseExpr
all mapSpec in CaseExpr will be lazy-evaluated
add factorial example
Merge pull request #265 from BayesianLogic/fix-recursive-fixed-function

Fix recursive fixed function