cleaned up after merge from python branch

added types for top-level declarations
removed junk output from test/positive
removed binary