Card is located in:

• bicycle/src/Card.m3
• m3front/src/builtinTypes/Card.m3