Basic typing.