Andrew's 21st Century Proof Type Set