Simple type inference

Signed-off-by: Pekka Enberg <penberg@iki.fi>