Basic type enforcement working.