adds binary spec, and fixes single sequence of compound
bug found: function literal and compound get unknown result type
wip
leaves application fix
fixes application
fixes specs to compile
bug-fix: val function literal
fix dot visit
Merge pull request #15 from nokamoto/rm_type

Rm type