Added expresso test framework
Modified to export functions for test
Added Sylvester matrix library