Switch to 'turbofish' generics syntax and '['/']' for builtin container

delimiters
Use the unification code to infer types for builtin containers,
since they don't have a 'path' like other ADT literals.

CMakeLists.txt

@@ -64,7 +64,6 @@ target_sources(paw
             ${PAW_SOURCE_DIR}/unify.h
             ${PAW_SOURCE_DIR}/util.h
             ${PAW_SOURCE_DIR}/value.h
-            ${PAW_SOURCE_DIR}/vector.h
     PRIVATE ${PAW_SOURCE_DIR}/api.c
             ${PAW_SOURCE_DIR}/ast.c
             ${PAW_SOURCE_DIR}/auxlib.c

GRAMMER.md

@@ -60,7 +60,7 @@ Declaration = VarDecl | FunctionDecl | StructDecl |
               EnumDecl | TypeDecl .
 VarDecl     = "let" name [":" Type] "=" Expr .
 TypeDecl    = "type" name [Generics] "=" Type .
-Generics    = "[" {name ","} name "]" .
+Generics    = "<" {name ","} name [","] ">" .
 ```
 
 ### Functions
@@ -110,8 +110,8 @@ Type       = NamedType | TypeLit .
 TypeLit    = FuncType | VectorType | MapType | 
              TupleType | NamedType .
 FuncType   = "fn" "(" [TypeList] ")" ["->" Type] .
-TypeList   = {Type ","} Type .
-TypeArgs   = "[" TypeList "]" .
+TypeList   = {Type ","} Type [","] .
+TypeArgs   = "::" "<" TypeList ">" .
 NamedType  = name [TypeArgs] .
 VectorType = "[" Type "]" .
 MapType    = "[" Type ":" Type "]" .