Type annotations and nested dynamic imports

Allows annotations on types (and ignores them) as well as allowing for dynamic imports in nested directories. The search-replace in gracelib could probably be simpler with string utilities though.