Basic type checking now displaying