Development and unit tests for type module.

Depends on #18.


### AST
* Add map of built-in types from `parser`.

### Type:
* Replace `String` built-in with `Array of Char`. Closes #9.
* Add error reporting for built-in type redefinition.

### Tests:
* Add unit tests for `type` module.
* Drop functional tests replaced by unit tests.