Add value top bindings
Add let term
Add integers
Move base types and values aside