implement GotoDefn in concepts, nested concepts. Fixes #17 and resolves #18