add syntactic support for type parameters throughout annotations, fix buggy cases in typecheck for a-any and a-blank, fix documentation of what a-app is. closes #84