shift

val shift: (context: T, term: Int, stack: Stack, input: InputStream) -> T