added configure script
added draft for type-system + tests