make Trunc not depend on types/*
move basic files to Basics/*
fix pointer to Overture in configure.ac
remove no-longer-necessary Scheme hackery in Overture
appcontext is deprecated, use context instead; close #497
Merge pull request #499 from mikeshulman/appcontext

appcontext is deprecated, use context instead; close #497
Merge pull request #498 from mikeshulman/schemes

remove no-longer-necessary Scheme hackery in Overture
Bind various scopes to their corresponding types

This gives better automatic scope resolution.
Merge pull request #490 from JasonGross/bind-scopes

Bind various scopes to their corresponding types