No Decl/Expr distinction

[jkarni]

Seems relatively straightforward:

1. Add, 'sig', '=', TypeSig and Def terms.
2. Type the first two as the second two.
3. Expect each top-level term to (alternatingly?) have TypeSig and Def types.