* correct some identation
add tests for unbounded variables (#6)
* implement unbounded variables (closes #6)