ref: 11dc97526dc9a7dcc30cb087b27f588c45266f03
parent: 8cc0e63c31208a10d245f3115bde2e7b886b2770
author: Ori Bernstein <ori@eigenstate.org>
date: Sun Jun 14 10:16:41 EDT 2015
Start working on __init__, check types.
This change both checks the types of main(), and
of __init__.
__init__ is not yet implemented.