Basic typing

Basic typing