More Syntax Changes

Changed some wordings and some general syntax things.
Still need to ask someone about inexact values and check-expects