Constrain argument to isSignBit to have integer type
disallow definition of new constants/input vars in Target program
add TODO list
Merge pull request #4 from regehr/todo

add TODO list
Merge branch 'master' of https://github.com/nunoplopes/alive