Added naïve type inference (see declas.helm)