Static typing for Python (early alpha)