Type Package

Implemented ArrayList and HashMap. Added strict type checking.