prepare for first release
edit README.md
fix build erroring
try to fix build erroring
try to fix build error while compiling java test classes
fixed pom.xml
added poc of semantic substitution
proof of concept semantic substitution
added poc homogenization to solve. can now solve 2**(2x) - (5*2**(x + 1)) + 16 = 0