Add type checking skeleton