transform-expression is now memoized - performance improvements
updated pom.xml, refactored code to use create-with instead of with-expresso
Remove temp file
fix to require protocols before class import
started working on properties
Merge branch 'develop' of https://github.com/clojure-numerics/expresso into develop
added simple matrix simplification rules
worked on matrix simplification
Merge branch 'master' into develop

Conflicts:
	src/main/clojure/numeric/expresso/properties.clj
	src/main/clojure/numeric/expresso/rules.clj
switched back to core.matrix 0.8.0
Added ability to specify core.logic constraints about an expression
first proof of concept inference working
added gaussian linear solver
started working on a polynomial normal form like in PAIP Chapter 15
first version of a solver for a system of linear equations
added solve-system - syntax ideas on expresso readme are supported now
expresso now uses short symbols for known operators
fixed tests
functions are typed
check-constraints doesn't depend upon custom types anymore