removed tex file
renamed functions for consistency. renamed check to hasmatches; returns Bool instead of CallSignature/Nothing.