Text this: Typability and Type Inference in Atomic Polymorphism