fixed runtime errors..should now properly typecheck Cool programs