Type Package

Implemented ArrayList and HashMap. Added strict type checking.

Solves #6 and #7.